41. An introduction to computational geometry for curves and surfaces
پدیدآورنده : Davies, Alan J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Geometry--Data processing
رده :
QA
448
.
D38
.
D38
1996
42. An introduction to computational origami
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometry ; Data processing. ;
43. Applied computational geometry : towards geometric engineering : FCRC'96 Workshop, WACG'96, Philadelphia, PA, May 27-28, 1996 : selected papers
پدیدآورنده : Ming C. Lin, Dinesh Manocha )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry
رده :
QA
76
.
L28
Vol
.
1148
44. Applied geometry for computer graphics and CAD
پدیدآورنده : / Duncan Marsh
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer graphics,Computer-aided design,Geometry, Data processing
رده :
T385
.
M3648
2005
45. Applied geometry for computer graphics and CAD
پدیدآورنده : / Duncan Marsh
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Computer graphics,Computer-aided design,Geometry--Data processing
رده :
T385
.
M36
2005
46. Applied geometry for computer graphics and CAD
پدیدآورنده : / Duncan Marsh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer graphics,Computer-aided design,Geometry- Data processing
رده :
T385
.
M3648
2005
47. Applied geometry for computer graphics and CAD
پدیدآورنده : Marsh, Duncan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer graphics,، Computer-aided design,، Geometry -- Data processing
رده :
T
385
.
M3648
48. Applied geometry for computer graphics and CAD
پدیدآورنده : / Duncan Marsh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer graphics,Computer-aided design,Geometry- Data processing
رده :
T385
.
M3648
2005
49. Applied geometry for computer graphics and CAD
پدیدآورنده : / by Duncan Marsh
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer graphics,Computer aided design,Geometry- Data processing
رده :
T385
.
M3648
1999
50. Applied geometry for computer graphics and CAD ]electronic resources[
پدیدآورنده : Marsh, Duncan
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer graphics,، Computer-aided design,، Geometry-- Data processing
رده :
T
385
.
M3648
2005
51. Automated Deduction in Geometry
پدیدآورنده : \ Francisco Botana , Pedro Quaresma (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer graphics,گرافیک کامپیوتری,a03,a03,Geometry -- Data processing -- Congresses.,Automatic theorem proving -- Congresses.,هندسه -- داده پردازی -- کنگره ها
رده :
T
385
.
A92
2015
E-Book
,
52. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
53. Automated deduction in geometry:
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Geometry - Data processing - Congresses,Automatic theorem proving - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA448
.
D38I577
1997
54. Automated deduction in geometry :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometry ; Data processing ; Congresses. ;
55. Automated deduction in geometry :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometry ; Data processing ; Congresses ; Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ; raisonnement g?om?trique ; g?om?trie algorithmique ; d?monstration th?or?me ; G?om?trie ; d?duction automatique ;
56. Automated deduction in geometry
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometry ; Data processing ; Congresses. ; Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
57. Automated deduction in geometry
پدیدآورنده : Thomas Sturm, Christoph Zengler (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Geometry-- Data processing, Congresses.
58. Automated deduction in geometry :
پدیدآورنده : Tetsuo Ida, Jacques Fleuriot (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Geometry-- Data processing, Congresses
رده :
QA448
.
D38
I58
2012
59. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
پدیدآورنده : Dongming Wang )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1360
60. Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1998 : proceedings
پدیدآورنده : Xiao-Shan Gao, Dongming Wang, Lu Yang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1669
